• ICR conversion
    • Canonical forms
    • Inline functions
    • Compilation policy
    • Notes

  • Local call analysis
  • Find components
  • ICR optimize
    • Goals for ICR optimizations
    • Flow graph simplification
    • Forward ICR optimizations
    • Backward ICR optimizations

  • Type checking
  • Constraint propagation
  • ICR finalize
  • Environment analysis